go/types.Checker.trace (method)
26 uses
go/types (current package)
call.go#L138: check.trace(pos, "-- instantiating signature %s with %s", typ, targs)
call.go#L142: check.trace(pos, "=> %s (under = %s)", res, res.Underlying())
check.go#L544: check.trace(a.desc.pos.Pos(), "-- "+a.desc.format, a.desc.args...)
check.go#L546: check.trace(nopos, "-- delayed %p", a.f)
decl.go#L56: check.trace(obj.Pos(), "-- checking %s (%s, objPath = %s)", obj, obj.color(), pathString(check.objPath))
decl.go#L60: check.trace(obj.Pos(), "=> %s (%s)", obj, obj.color())
decl.go#L265: check.trace(obj.Pos(), "## cycle detected: objPath = %s->%s (len = %d)", pathString(cycle), obj.Name(), len(cycle))
decl.go#L267: check.trace(obj.Pos(), "## cycle contains: generic type in a type parameter list")
decl.go#L269: check.trace(obj.Pos(), "## cycle contains: %d values, %d type definitions", nval, ndef)
decl.go#L273: check.trace(obj.Pos(), "=> cycle is valid")
decl.go#L275: check.trace(obj.Pos(), "=> error: cycle is invalid")
errors.go#L126: check.trace(err.posn().Pos(), "ERROR: %s (code = %d)", err.desc[0].msg, err.code)
expr.go#L944: check.trace(e.Pos(), "-- expr %s", e)
expr.go#L948: check.trace(e.Pos(), "=> %s", x)
format.go#L90: func (check *Checker) trace(pos token.Pos, format string, args ...any) {
named.go#L635: check.trace(n.obj.pos, "-- Named.expandUnderlying %s", n)
named.go#L639: check.trace(n.obj.pos, "=> %s (tparams = %s, under = %s)", n, n.tparams.list(), n.underlying)
stmt.go#L25: check.trace(body.Pos(), "-- %s: %s", name, sig)
typeset.go#L182: check.trace(pos, "-- type set for %s", ityp)
typeset.go#L186: check.trace(pos, "=> %s ", ityp.typeSet())
typexpr.go#L234: check.trace(e0.Pos(), "-- type %s", e0)
typexpr.go#L245: check.trace(e0.Pos(), "=> %s // %s", T, goTypeName(T))
typexpr.go#L247: check.trace(e0.Pos(), "=> %s (under = %s) // %s", T, under, goTypeName(T))
typexpr.go#L435: check.trace(ix.Pos(), "-- instantiating type %s with %s", ix.x, ix.indices)
typexpr.go#L440: check.trace(ix.Pos(), "=> %s", res)
validtype.go#L38: check.trace(pos, "validType(%s) nest %v, path %v", typ, pathString(makeObjList(nest)), pathString(makeObjList(path)))